gcd of two numbers in python